منابع مشابه
A Datastructure for Iterated Powers
Bushes are considered as the first example of a truly nested datatype, i. e., a family of datatypes indexed over all types where a constructor argument not only calls this family with a changing index but even with an index that involves the family itself. For the time being, no induction principles for these datatypes are known. However, the author has introduced with Abel and Uustalu (TCS 333...
متن کاملRelations on Iterated Reduced Powers.
* This investigation was supported by a grant from the National Foundation for Infantile Paralysis. I Bertani, G., and Weigle, J., J. Bact., 65, 113 (1953). 2 Adams, M. H., in Methods in Medical Research, Chicago, 1950. 3 Dulbecco, R., J. Bact., 59, 329 (1950). 4 Jacob, F., personal communication. 6 We wish to thank Ciba S.A., Basel, Switzerland, who put at our disposal the chlorohydrate of met...
متن کاملComparing Powers and Symbolic Powers of Ideals
We develop tools to study the problem of containment of symbolic powers I(m) in powers I for a homogeneous ideal I in a polynomial ring k[P ] in N + 1 variables over an arbitrary algebraically closed field k. We obtain results on the structure of the set of pairs (r, m) such that I(m) ⊆ I. As corollaries, we show that I2 contains I(3) whenever S is a finite generic set of points in P2 (thereby ...
متن کاملPowers of Two Modulo Powers of Three
Since 2 is a primitive root of 3 for each positive integer m, the set of points {(n, 2 mod 3) : n > 0}, viewed as a subset of Z>0×Z>0 is bi-periodic, with minimal periods φ(3) (horizontally) and 3 (vertically). We show that if one considers the classes of n modulo 6, one obtains a finer structural classification. This result is presented within the context of the question of strong normality of...
متن کاملIterated Local Reeection Vs Iterated Consistency
For \natural enough" systems of ordinal notation we show that times iterated local reeection schema over a suuciently strong arithmetic T proves the same 0 1-sentences as ! times iterated consistency. A corollary is that the two hierarchies catch up modulo relative interpretability exactly at-numbers. We also derive the following more general \mixed" formulas estimating the consistency strength...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1979
ISSN: 0001-8708
DOI: 10.1016/0001-8708(79)90052-5